101. Proceedings of the 32th International Matador Conference formerly the International Machine Tool Design and Research Conference
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Machine-tools,، Machine-tools,، Conference papers and proceedings
رده :
TJ
1185
.
I575
1988
102. Proceedings of the 9th International Symposium on Superalloy 718 & Derivatives :
پدیدآورنده : Eric Ott, [and 11 more], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Heat resistant alloys, Congresses.,Heat resistant alloys.,Metals technology-- metallurgy.,Social research & statistics.,TECHNOLOGY & ENGINEERING-- Metallurgy.,Testing of materials.,Tribology (friction & lubrication)
رده :
TN693
.
H4
103. Proceedings of the thirteenth international machine tools design
پدیدآورنده :
کتابخانه: (طهران)
موضوع : MACHINE-TOOLS-CONGRESSES , MACHINE-SHOP PRACTICE-CONGRESSES
رده :
TJ
1180
.
A1
I53
1972
104. Proceedings of the twelfth international machine tool design &
پدیدآورنده :
کتابخانه: (طهران)
موضوع : MACHINE-TOOLS-CONGRESSES , MACHINE-SHOP PRACTICE-CONGRESSES
رده :
TJ
1180
.
A1I53
1971
105. Proceedings of the twenthy-fourth International Machine Tool Design and Research Conference held in Manchester, 31st August, 1st Sept. 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine-tools-- Congresses,، Metal-work-- Congresses
رده :
TJ
1185
.
I575
1983
106. Proceedings of the twenthy-second International Machine Tool Design and Research Conference held in Manchester, 16th-18th September, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine-tools-- Congresses,، Metal-work-- Congresses
رده :
TJ
1185
.
I575
1981
107. Proceedings of the twenty- ninth International Matador Conference
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine-tools- Congresses
108. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
109. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
110. Security, Privacy, and Anonymity in Computation, Communication, and Storage :
پدیدآورنده : Guojun Wang, Jun Feng, Md Zakirul Alam Bhuiyan, Rongxing Lu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer security.
رده :
QA76
.
9
.
A25
111. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
112. Smart Innovations in Communication and Computational Sciences :
پدیدآورنده : Bijaya Ketan Panigrahi, Munesh C. Trivedi, Krishn K. Mishra, Shailesh Tiwari, Pradeep Kumar Singh, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Communication, Congresses.,Computers, Congresses.,Communication.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA76
113. Sustainable tunneling and underground use :
پدیدآورنده : Mona Badr, Ayman Lotfy, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Sustainable development, Congresses.,Tunneling-- Environmental aspects, Congresses.,Building Construction and Design.,Construction Management.,Geoengineering, Foundations, Hydraulics.,Geotechnical Engineering & Applied Earth Sciences.,Building construction & materials.,Building skills & trades.,Economic geology.,Meteorology & climatology.,Sustainable development.,TECHNOLOGY & ENGINEERING-- Civil-- General.,Tunneling-- Environmental aspects.
رده :
TA805
114. Technologies for economical and functional lightweight design :
پدیدآورنده : Klaus Dröder, Thomas Vietor, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Lightweight construction, Congresses.,Lightweight materials, Congresses.,Lightweight construction.,Lightweight materials.
رده :
TA418
.
9
.
L53
115. The coatings in manufacturing engineering :
پدیدآورنده : edited by F.-W. Bach [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Coatings -- Congresses.,TECHNOLOGY & ENGINEERING -- Engineering (General),TECHNOLOGY & ENGINEERING -- Reference.
رده :
TA1
.
E358
2010
116. The semantic web :
پدیدآورنده : Pascal Hitzler [and 7 others], (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Semantic Web.
رده :
TK5105
.
88815
.
E98
2019
117. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
118. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
119. Toward a Science of Consciousness II :
پدیدآورنده : edited by Stuart R. Hameroff, Alfred W. Kaszniak, Alwyn C. Scott.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Consciousness, Congresses.,Bewustzijn.,Consciousness.,Filosofie van de geest.,MEDICAL-- Neuroscience.,Medische aspecten.,Neurale netwerken.,PSYCHOLOGY-- Neuropsychology.
رده :
BF311
.
T662
1998eb